1
In-Memory Computing: Synthesis and Optimization

In-Memory Computing: Synthesis and Optimization

Saeideh Shirinzadeh, Rolf Drechsler
সাল:
2019
ভাষা:
english
ফাইল:
PDF, 2.05 MB
0 / 0
english, 2019
2
Debugging at the Electronic System Level

Debugging at the Electronic System Level

Frank Rogin, Rolf Drechsler (auth.)
সাল:
2010
ভাষা:
english
ফাইল:
PDF, 2.72 MB
0 / 0
english, 2010
3
Computer: Wie funktionieren Smartphone, Tablet & Co.?

Computer: Wie funktionieren Smartphone, Tablet & Co.?

Rolf Drechsler, Andrea Fink, Jannis Stoppe (auth.)
সাল:
2017
ভাষা:
german
ফাইল:
PDF, 2.44 MB
0 / 5.0
german, 2017
4
Test pattern generation using Boolean proof engines

Test pattern generation using Boolean proof engines

Rolf Drechsler, Stephan Eggersglüβ, Görschwin Fey, Daniel Tille (auth.)
সাল:
2009
ভাষা:
english
ফাইল:
PDF, 6.22 MB
0 / 0
english, 2009
5
Evolutionary Algorithms for Embedded System Design

Evolutionary Algorithms for Embedded System Design

Joachim Wegener (auth.), Rolf Drechsler, Nicole Drechsler (eds.)
সাল:
2003
ভাষা:
english
ফাইল:
PDF, 14.21 MB
0 / 0
english, 2003
6
Advanced Formal Verification

Advanced Formal Verification

Rolf Drechsler
সাল:
2004
ভাষা:
english
ফাইল:
PDF, 4.44 MB
0 / 0
english, 2004
7
Computer - Wie funktionieren Smartphone, Tablet & Co.?

Computer - Wie funktionieren Smartphone, Tablet & Co.?

Rolf Drechsler, Andrea Fink, Jannis Stoppe
সাল:
2017
ভাষা:
german
ফাইল:
PDF, 2.44 MB
0 / 0
german, 2017
8
Erweitertes Virtuelles Prototyping: Mit RISC-V-Fallstudien

Erweitertes Virtuelles Prototyping: Mit RISC-V-Fallstudien

Vladimir Herdt, Daniel Große, Rolf Drechsler
সাল:
2023
ভাষা:
german
ফাইল:
PDF, 8.13 MB
0 / 5.0
german, 2023
9
Erweiterte virtuelle Prototypen für heterogene Systeme

Erweiterte virtuelle Prototypen für heterogene Systeme

Muhammad Hassan, Daniel Große, Rolf Drechsler
সাল:
2024
ভাষা:
german
ফাইল:
PDF, 5.16 MB
0 / 0
german, 2024
13
Advanced formal verification

Advanced formal verification

Rolf Drechsler
সাল:
2004
ভাষা:
english
ফাইল:
PDF, 2.02 MB
0 / 0
english, 2004
15
Evolutionary Algorithms for Embedded System Design (Genetic Algorithms and Evolutionary Computation, 10)

Evolutionary Algorithms for Embedded System Design (Genetic Algorithms and Evolutionary Computation, 10)

Rolf Drechsler, Nicole Drechsler
সাল:
2012
ফাইল:
PDF, 14.21 MB
0 / 0
2012
16
Advanced Formal Verification

Advanced Formal Verification

Rolf Drechsler
সাল:
2004
ভাষা:
english
ফাইল:
PDF, 4.44 MB
0 / 0
english, 2004
18
Graphenbasierte Funktionsdarstellung: Boolesche und Pseudo-Boolesche Funktionen

Graphenbasierte Funktionsdarstellung: Boolesche und Pseudo-Boolesche Funktionen

Dr. phil. nat. Rolf Drechsler, Prof. Dr. rer. nat. Bernd Becker (auth.)
সাল:
1998
ভাষা:
german
ফাইল:
PDF, 5.25 MB
0 / 0
german, 1998
19
Advanced Formal Verification

Advanced Formal Verification

Rolf Drechsler
সাল:
2004
ভাষা:
english
ফাইল:
PDF, 4.04 MB
0 / 0
english, 2004
22
Enhanced Virtual Prototyping: Featuring RISC-V Case Studies

Enhanced Virtual Prototyping: Featuring RISC-V Case Studies

Vladimir Herdt, Daniel Große, Rolf Drechsler
সাল:
2021
ভাষা:
english
ফাইল:
PDF, 4.83 MB
0 / 0
english, 2021
23
Formal system verification : state-of the-art and future trends

Formal system verification : state-of the-art and future trends

Drechsler, Rolf
সাল:
2018
ভাষা:
english
ফাইল:
PDF, 6.33 MB
0 / 5.0
english, 2018
24
Information Storage: A Multidisciplinary Perspective

Information Storage: A Multidisciplinary Perspective

Cornelia S. Große, Rolf Drechsler
সাল:
2020
ভাষা:
english
ফাইল:
PDF, 6.62 MB
0 / 0
english, 2020
25
Advanced Logic Synthesis

Advanced Logic Synthesis

André Inácio Reis, Rolf Drechsler (eds.)
সাল:
2018
ভাষা:
english
ফাইল:
PDF, 6.76 MB
0 / 5.0
english, 2018
26
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers

Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers

Nils Przigoda, Robert Wille, Judith Przigoda, Rolf Drechsler (auth.)
সাল:
2018
ভাষা:
english
ফাইল:
PDF, 4.74 MB
5.0 / 5.0
english, 2018
27
Natural Language Processing for Electronic Design Automation

Natural Language Processing for Electronic Design Automation

Mathias Soeken, Rolf Drechsler
সাল:
2020
ভাষা:
english
ফাইল:
PDF, 3.59 MB
5.0 / 5.0
english, 2020
28
Reversible and Quantum Circuits: Optimization and Complexity Analysis

Reversible and Quantum Circuits: Optimization and Complexity Analysis

Nabila Abdessaied, Rolf Drechsler (auth.)
সাল:
2016
ভাষা:
english
ফাইল:
PDF, 5.99 MB
0 / 0
english, 2016
29
Formal Specification Level: Concepts, Methods, and Algorithms

Formal Specification Level: Concepts, Methods, and Algorithms

Mathias Soeken, Rolf Drechsler (auth.)
সাল:
2015
ভাষা:
english
ফাইল:
PDF, 7.24 MB
0 / 0
english, 2015
30
Exact Design of Digital Microfluidic Biochips

Exact Design of Digital Microfluidic Biochips

Oliver Keszocze, Robert Wille, Rolf Drechsler
সাল:
2019
ভাষা:
english
ফাইল:
PDF, 4.03 MB
0 / 0
english, 2019
31
Design Automation for Field-coupled Nanotechnologies

Design Automation for Field-coupled Nanotechnologies

Marcel Walter, Robert Wille, Frank Sill Torres, Rolf Drechsler
সাল:
2022
ভাষা:
english
ফাইল:
PDF, 5.57 MB
0 / 0
english, 2022
32
Design Automation Techniques for Approximation Circuits: Verification, Synthesis and Test

Design Automation Techniques for Approximation Circuits: Verification, Synthesis and Test

Arun Chandrasekharan, Daniel Große, Rolf Drechsler
সাল:
2019
ভাষা:
english
ফাইল:
PDF, 2.97 MB
0 / 0
english, 2019
33
Formal and Practical Techniques for the Complex System Design Process using Virtual Prototypes: Better Early than Never

Formal and Practical Techniques for the Complex System Design Process using Virtual Prototypes: Better Early than Never

Pascal Pieper, Rolf Drechsler
সাল:
2024
ভাষা:
english
ফাইল:
PDF, 12.00 MB
0 / 0
english, 2024
34
Enhanced Virtual Prototyping: Featuring RISC-V Case Studies

Enhanced Virtual Prototyping: Featuring RISC-V Case Studies

Vladimir Herdt, Daniel Große, Rolf Drechsler
সাল:
2021
ভাষা:
english
ফাইল:
PDF, 4.83 MB
0 / 0
english, 2021
36
Quality-Driven SystemC Design

Quality-Driven SystemC Design

Daniel Große, Rolf Drechsler (auth.)
সাল:
2010
ভাষা:
english
ফাইল:
PDF, 2.70 MB
0 / 0
english, 2010
37
Enhanced Virtual Prototyping for Heterogeneous Systems

Enhanced Virtual Prototyping for Heterogeneous Systems

Muhammad Hassan, Daniel Große, Rolf Drechsler
সাল:
2022
ভাষা:
english
ফাইল:
PDF, 3.34 MB
0 / 5.0
english, 2022
38
Advanced BDD Optimization

Advanced BDD Optimization

Rudiger Ebendt, Görschwin Fey, Rolf Drechsler
সাল:
2005
ভাষা:
english
ফাইল:
PDF, 3.46 MB
0 / 0
english, 2005
39
In-Memory-Computing: Synthese und Optimierung

In-Memory-Computing: Synthese und Optimierung

Saeideh Shirinzadeh, Rolf Drechsler
সাল:
2023
ভাষা:
german
ফাইল:
PDF, 5.23 MB
0 / 0
german, 2023
40
Advanced Boolean Techniques: Selected Papers from the 13th International Workshop on Boolean Problems

Advanced Boolean Techniques: Selected Papers from the 13th International Workshop on Boolean Problems

Rolf Drechsler, Mathias Soeken
সাল:
2020
ভাষা:
english
ফাইল:
PDF, 4.48 MB
0 / 0
english, 2020
41
Design Für Testbarkeit, Fehlersuche und Zuverlässigkeit: Maßnahmen der Nächsten Generation Unter Verwendung Formaler Techniken

Design Für Testbarkeit, Fehlersuche und Zuverlässigkeit: Maßnahmen der Nächsten Generation Unter Verwendung Formaler Techniken

Sebastian Huhn, Rolf Drechsler
সাল:
2024
ভাষা:
german
ফাইল:
PDF, 3.53 MB
0 / 0
german, 2024
42
Formal System Verification: State-of the-Art and Future Trends

Formal System Verification: State-of the-Art and Future Trends

Drechsler, Rolf
সাল:
2018
ভাষা:
english
ফাইল:
PDF, 6.33 MB
0 / 0
english, 2018
43
Evolutionary Algorithms for VLSI CAD

Evolutionary Algorithms for VLSI CAD

Rolf Drechsler (auth.)
সাল:
1998
ভাষা:
english
ফাইল:
PDF, 4.85 MB
0 / 0
english, 1998
44
Formal Verification of Structurally Complex Multipliers

Formal Verification of Structurally Complex Multipliers

Alireza Mahzoon, Daniel Große, Rolf Drechsler
সাল:
2023
ভাষা:
english
ফাইল:
PDF, 4.19 MB
5.0 / 5.0
english, 2023
45
High Quality Test Pattern Generation and Boolean Satisfiability

High Quality Test Pattern Generation and Boolean Satisfiability

Stephan Eggersglüß, Rolf Drechsler (auth.)
সাল:
2012
ভাষা:
english
ফাইল:
PDF, 1.51 MB
0 / 0
english, 2012
46
Formal Verification of Circuits

Formal Verification of Circuits

Rolf Drechsler (auth.)
সাল:
2000
ভাষা:
english
ফাইল:
PDF, 12.73 MB
0 / 0
english, 2000
47
Binary Decision Diagrams: Theory and Implementation

Binary Decision Diagrams: Theory and Implementation

Rolf Drechsler, Bernd Becker (auth.)
সাল:
1998
ভাষা:
english
ফাইল:
PDF, 7.56 MB
0 / 0
english, 1998
48
Advanced Boolean Techniques: Selected Papers from the 15th International Workshop on Boolean Problems

Advanced Boolean Techniques: Selected Papers from the 15th International Workshop on Boolean Problems

Rolf Drechsler, Sebastian Huhn
সাল:
2023
ভাষা:
english
ফাইল:
PDF, 5.40 MB
5.0 / 5.0
english, 2023
49
Towards a Design Flow for Reversible Logic

Towards a Design Flow for Reversible Logic

Robert Wille, Rolf Drechsler (auth.)
সাল:
2010
ভাষা:
english
ফাইল:
PDF, 3.49 MB
0 / 0
english, 2010
50
Robustness and Usability in Modern Design Flows

Robustness and Usability in Modern Design Flows

Görschwin Fey, Rolf Drechsler
সাল:
2008
ভাষা:
english
ফাইল:
PDF, 769 KB
0 / 0
english, 2008